- ordered subclass
- упорядоченный подкласс
English-Russian electronics dictionary .
English-Russian electronics dictionary .
Constructible universe — Gödel universe redirects here. For Kurt Gödel s cosmological solution to the Einstein field equations, see Gödel metric. In mathematics, the constructible universe (or Gödel s constructible universe), denoted L, is a particular class of sets… … Wikipedia
Lerici class minehunter — Crotone ninth ship of the Lerici class Class overview Name: Lerici Builders: Intermarine S … Wikipedia
Menggu Ziyun — Traditional Chinese 蒙古字韻 Simplified Chinese 蒙古字韵 Phags pa script … Wikipedia
TRAXX — Bombardier TRAXX family (electric) TRAXX F140 AC1 : Deutsche Bahn AG Class 185 Power type electric Builder Bombardier Transportation Model TRAXX F140 AC … Wikipedia
Formal interpretation — A formal interpretation [http://books.google.com/books?id=weKqT3ka5g0C pg=PA74 lpg=PA74 dq=%22Formal+interpretation%22+%22formal+language%22 source=web ots=pLN ms7Wi2 sig=P JqwdzOqLcX4nMpP64qmacnkDU hl=en#PPA74,M1 Cann Ronnie, Formal Semantics:… … Wikipedia
Morse–Kelley set theory — In the foundation of mathematics, Morse–Kelley set theory (MK) or Kelley–Morse set theory (KM) is a first order axiomatic set theory that is closely related to von Neumann–Bernays–Gödel set theory (NBG). While von Neumann–Bernays–Gödel set theory … Wikipedia
Occupation of the Jordan Valley (1918) — Australian Imperial Force (AIF) Canteen in the Jordan Valley The British Empire s occupation of the Jordan Valley occurred during the Sinai and Palestine Campaign of World War I, beginning after the Capture of Jericho in February when the… … Wikipedia
Ontology components — Contemporary ontologies share many structural similarities, regardless of the language in which they are expressed. Most ontologies describe individuals (instances), classes (concepts), attributes, and relations. Contents 1 Overview 2 Individuals … Wikipedia
Town class cruiser (1910) — For the Town class of World War II, see Town class cruiser (1936). HMS Chester Class overview Name: Town … Wikipedia
British Rail Class 319 — First Capital Connect refreshed Class 319/3 EMUs No. 319369 and 319368 at St. Albans The refreshed i … Wikipedia
United States Patent Classification — The United States Patent Classification is an official patent classification system used and maintained by the United States Patent and Trademark Office (USPTO). Overview There are over 400 classes in the U.S. Patent Classification System, each… … Wikipedia